Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
701	Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction Add to Reading List Source URL: michaelsproul.github.io Language: English - Date: 2015-03-30 20:03:55 Data types Procedural programming languages Functional programming Concurrent programming languages Functional languages Trie Rust Radix tree Associative array Pointer Go Immutable object
702	Lecture 13: Vectors William Gropp www.cs.illinois.edu/~wgropp Overview •  Parallelism with the processor Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-01 12:35:19 Central processing unit Array programming languages Compilers GNU Compiler Collection Fortran Vectorization Vector Processor register
703	Proceedings of the Electroacoustic Music Studies Network Conference Electroacoustic Music Beyond Performance, Berlin, June 2014 www.ems-network.org The Deadly Embrace Between Music Software and Its Users Miller Puckette Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2014-11-03 22:57:12 Software Visual programming languages Computer programming Max Computer music Free software Computing Miller Puckette Logic Pro Computer program Source code Integrated development environment
704	Exploiting Object Locality in JavaParty, a Distributed Computing Environment for Workstation Clusters Bernhard Haumacher and Michael Philippsen University of Karlsruhe, Germany Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:29:49 Inter-process communication Remote procedure call Object-oriented programming languages Distributed computing architecture Cross-platform software Distributed object communication Java remote method invocation Java Message passing Method Proxy pattern Objective-C
705	Programming Language Impact on the Development of Distributed Systems Steve Vinoski Architect, Basho Technologies Add to Reading List Source URL: www.connect-forever.eu Language: English - Date: 2012-01-31 02:57:16 Erlang Concurrent programming languages Ericsson Concurrent computing Open Telecom Platform LFE Elixir
706	MONIX TASK LAZY, ASYNC & AWESOME Alexandru Nedelcu Software Developer @ eloquentix.com  @alexelcu / alexn.org Add to Reading List Source URL: monix.io Language: English - Date: 2016-05-30 04:38:17 Concurrent programming languages Functional languages Scala Futures and promises Evaluation Task
707	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
708	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
709	OCaml Standard Tools Standard Tools .opt tools are the same tools, compiled in native-code, thus much faster. ocamlopt[.opt] native-code compiler Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Programming language implementation Object-oriented programming languages Compiler construction Compiling tools Build automation OCaml Compiler Interpreter Bytecode Make Lexical analysis GNU Compiler Collection
710	i i “tlgc2” — — 15:24 — page 819 — #1 i Add to Reading List Source URL: www.latex-project.org Language: English - Date: 2016-08-08 13:00:03 TeX Typesetting Digital typography Macro programming languages Vector graphics markup languages MetaPost PSTricks ConTeXt Device independent file format Asymptote Computer Modern Troff

UPDATE